$\forall$${\it es}$:ES, $L$:(Id List).
\\[0ex]fischer($L$) $\Rightarrow$ ($\forall$${\it e'}$, $e$:E. fEvent($e$) $\Rightarrow$ ($e$ $<$loc ${\it e'}$) $\Rightarrow$ rank($e$) $<$ rank(${\it e'}$))